Koha online

1.
Understanding Z : a specification language and its formal semantics

by Spivey, J. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 1988Availability: Items available for loan: [Call number: 005.133 SPI] (1).
Place hold
2.
Applications of process algebra

by Baeten, J. C. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 512 BAE] (1).
Place hold
3.
Basic simple type theory

by Hindley, J. Roger.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 005.13 HIN] (1).
Place hold
4.
Domains and lambda-calculi

by Amadio, Roberto M | Curien, Pierre-Louis.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 511.3 AMA] (1).
Place hold
5.
Concurrency verification : introduction to compositional and noncompositional methods.

by De Roever, Willem-Paul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2001Availability: Items available for loan: [Call number: 004.35 ROE] (1).
Place hold
6.
Process algebra : equational theories of communicating processes

by Baeten, J. C. M | Basten, T | Reniers, M. A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 004.0151 BAE] (1).
Place hold

Powered by Koha